Irreducibly represented groups
نویسندگان
چکیده
منابع مشابه
Irreducibly Normative Properties
On the nonnaturalists’ view, ... reality has ‘brute, inexplicable’ normativity, which cannot be explained in motivational or other natural terms. This inexplicability is twofold: we cannot explain what normativity is in nonnormative language, and neither can we explain why the fundamental normative truths hold (e.g., why the fact that pain hurts counts in favor of preventing it). (Finlay 2007: 24)
متن کاملAutomorphism Groups of Geometrically Represented Graphs
Interval graphs are intersection graphs of closed intervals and circle graphs are intersection graphs of chords of a circle. We study automorphism groups of these graphs. We show that interval graphs have the same automorphism groups as trees, and circle graphs have the same as pseudoforests, which are graphs with at most one cycle in every connected component. Our technique determines automorp...
متن کاملAre there Irreducibly Relational Facts?
If the former is the case, let us say that anti-reductionism about relational facts is true; if the latter, that reductionism about relational facts is true. Let us say that a fact is relational if it makes true some relational proposition (a proposition that asserts that a relation holds between some objects1), that it is irreducibly relational if, in addition, it does not make true any nonrel...
متن کاملBordism Groups of Immersions and Classes Represented by Self-Intersections
We prove a geometrical version of Herbert’s theorem [4] by considering the self-intersection immersions of a self-transverse immersion up to bordism. This generalises Herbert’s theorem to additional cohomology theories and gives a commutative diagram in the homotopy of Thom complexes. The proof is based on Herbert’s and uses Koschorke and Sanderson’s operations [6] and the fact that bordism of ...
متن کاملSuperposition Theorem Proving for Albelian Groups Represented as Integer Modules
We deene a superposition calculus specialized for abelian groups represented as integer modules, and show its refutational completeness. This allows to substantially reduce the number of inferences compared to a standard superposition prover which applies the axioms directly. Speciically, equational literals are simpliied, so that only the maximal term of the sums is on the left-hand side. Only...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Commentarii Mathematici Helvetici
سال: 2008
ISSN: 0010-2571
DOI: 10.4171/cmh/145